From: Marco Trevisan (Treviño) <mail@3v1n0.net>
Date: Fri, 18 Jun 2021 17:47:24 +0000 (+0200)
Subject: ControlsManagerLayout: Consider workarea height for the available space
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~574^2^2~198
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=2b074882f44c32862e3b7984a42888ada1478259;p=gnome-shell.git

ControlsManagerLayout: Consider workarea height for the available space

We always consider the whole workarea space to be available when
computing the controls manager layout, however this may not be the truth
when using extensions such as Window List which are reducing the work
area size.

So take care of it, reducing the box height.

Fixes: https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/4330
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1892>
---

diff --git a/js/ui/overviewControls.js b/js/ui/overviewControls.js
index df098ace9..66424bdab 100644
--- a/js/ui/overviewControls.js
+++ b/js/ui/overviewControls.js
@@ -135,6 +135,7 @@ class ControlsManagerLayout extends Clutter.BoxLayout {
         const workArea = Main.layoutManager.getWorkAreaForMonitor(monitor.index);
         const startY = workArea.y - monitor.y;
         box.y1 += startY;
+        box.y2 -= (monitor.height - workArea.height) - startY;
         const [width, height] = box.get_size();
         let availableHeight = height;